اختبار مادة نظرية الحاسبات

اختبار تحليلي شامل يغطي: الأوتوماتا المنتهية (DFA & NFA)، التعابير المنتظمة، قواعد السياق الحر (CFG)، أوتوماتا المكدس (PDA)، آلات تورينج، ومسألة التوقف واللاتقريرية (Undecidability).